New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update logo #1210

Merged

josefpihrt merged 2 commits into main from feature/logo

Sep 26, 2023

Collaborator

josefpihrt commented Sep 26, 2023

No description provided.


          Update logo

63595e2

josefpihrt self-assigned this


          update

f5a1039

josefpihrt merged commit 560ac57 into main

14 checks passed

josefpihrt deleted the feature/logo branch

September 26, 2023 20:02

Haarmees pushed a commit to Haarmees/Roslynator that referenced this pull request


          Update logo (dotnet#1210)

7e84a7f

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet